Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
301	Metaprogramming with Traits John Reppy and Aaron Turon University of Chicago {jhr,adrassi}@cs.uchicago.edu Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objec Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-01-10 16:47:20 Method Object-oriented programming Java programming language Type theory C++ Constructor Multiple inheritance Trait Java syntax Software engineering Computing Computer programming
302	We start with the module header: module Agda where open import Relation.Binary.PropositionalEquality open ≡-Reasoning open import Data.Function using (_◦_) This is the identity function: Add to Reading List Source URL: www.andres-loeh.de Language: English - Date: 2015-03-03 07:36:01 Universal quantification Associative property Type Logic Mathematics Abstract algebra Quantification
303	Twelf Carsten Sch¨ urmann ∗ Department of Computer Science Yale University Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-08-02 07:15:47 Type theory Logic in computer science Dependently typed programming Formal methods Lambda calculus Twelf Higher-order abstract syntax Logical framework Frank Pfenning Theoretical computer science Mathematics Programming language theory
304	Centre de Recherches Mathématiques CRM Proceedings and Lecture Notes Volume 53, 2011 The Strict ω-Groupoid Interpretation of Type Theory Michael A. Warren Add to Reading List Source URL: mawarren.net Language: English - Date: 2013-08-22 15:46:58 Homotopy theory Algebraic topology Algebraic structures Higher category theory Groupoid Functor Adjoint functors Sheaf Natural transformation Abstract algebra Category theory Mathematics
305	Microsoft WordVG Abstract of Palaeolithic pilot-study_Favourable effects of consuming a Palaeolithic-type diet on c Add to Reading List Source URL: www.louisbolk.org Language: English - Date: 2014-10-09 14:14:46 Medical research Diabetes Self-care Metabolic syndrome Paleolithic diet Cortisol Nutrition Health Medicine Diets
306	Conversations About Type: Privacy, Grammars and Taboos Ned Augenblick and Aaron Bodoh-Creed Abstract We provide a model in which two strategic agents exchange verifiable information Add to Reading List Source URL: faculty.haas.berkeley.edu Language: English - Date: 2013-08-19 13:41:14 Bayesian game Internet privacy Trait Information Problem solving Behavior Signaling game Game theory Mechanism design Communication
307	Abstract This paper explores the type and quality of linkages between the objective of achieving sustainable consumption and production (SCP) patterns, and those of poverty alleviation and sustainable development. The p Add to Reading List Source URL: www.unep.org Language: English - Date: 2012-07-13 02:21:53 Environmentalism Sustainable consumption Commission on Sustainable Development Sustainable development Degrowth Centre on Sustainable Consumption and Production Sustainable products Environment Sustainability Environmental social science
308	An Introduction to APA Style A Student Guide for the 6th edition (2nd printing) of the APA Publication Manualmcym Add to Reading List Source URL: jblenet.com Language: English - Date: 2013-09-28 17:15:44 Bibliography Academic publishing APA style American Psychological Association Abstract Citation Research Type system Psychology Knowledge Education Academia
309	An Introduction to APA Style A Student Guide for the 6th edition (2nd printing) of the APA Publication Manualmcym Add to Reading List Source URL: jgpcnet.com Language: English - Date: 2013-09-28 17:15:44 Bibliography Academic publishing APA style American Psychological Association Abstract Citation Research Type system Psychology Knowledge Education Academia
310	An Introduction to APA Style A Student Guide for the 6th edition (2nd printing) of the APA Publication Manualmcym Add to Reading List Source URL: rcbrnet.com Language: English - Date: 2013-09-28 17:15:44 Bibliography Academic publishing APA style American Psychological Association Abstract Citation Research Type system Psychology Knowledge Education Academia

UPDATE